<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<title>Html raport</title><meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<style type="text/css">
table.sofT
{ 
text-align: center;
font-family: Verdana;
font-weight: normal;
font-size: 15px;
color: #404040;
background-color: #fafafa;
border: 2px #6699CC solid;
border-collapse: collapse;
border-spacing: 0px; 
}

table.sofT td.helpHed
{ 
border-bottom: 2px solid #6699CC;
border-left: 2px solid #6699CC;
border-right: 2px solid #6699CC;
background-color: #BEC8D1;
text-align: left;
text-indent: 0px;
font-family: Verdana;
font-weight: bold;
font-size: 15px;
color: #404040; 
}

table.sofT td
{
border-bottom: 1px solid #6699CC;
}

table.sofT td.sup 
{ 
background-color: #FCC; 
}

</style>
</head>
<body>

<div id="header">
<h1>Raport for prover type:</h1>
<h1 style="color: Red">
classic
</h1>
</div>

<div id="center" class="round">

<table class="sofT" cellspacing="0"><tr><td colspan="10" class="helpHed">Test results for: Wed Jun 06 21:58:44 CEST 2007</td></tr>
<tr><td class="helpHed">Test name</td><td class="helpHed">Term Number</td><td class="helpHed">Value</td><td class="helpHed">Proved Value</td><td class="helpHed">Time Used [msec]</td><td class="helpHed">Memory Used [B]</td><td class="helpHed">Graph Size</td><td class="helpHed">Graph Avg. Depth</td><td class="helpHed">Graph Max. Depth</td></tr>
<tr><td >00a_n</td><td >0</td><td >coherent</td><td >coherent</td><td >422</td><td >2478104</td><td >3838</td><td >11</td><td >15</td></tr>
<tr><td >00a_n</td><td >1</td><td >coherent</td><td >coherent</td><td >422</td><td >2490560</td><td >3838</td><td >11</td><td >15</td></tr>
<tr><td >00a_n</td><td >2</td><td >coherent</td><td >coherent</td><td >1109</td><td >6021384</td><td >11482</td><td >13</td><td >16</td></tr>
<tr><td >00a_n</td><td >3</td><td >coherent</td><td >coherent</td><td >250</td><td >2322712</td><td >3133</td><td >12</td><td >16</td></tr>
<tr><td >00a_n</td><td >4</td><td >coherent</td><td >coherent</td><td >2235</td><td >4766232</td><td >10320</td><td >22</td><td >34</td></tr>
<tr><td >00a_p</td><td >0</td><td >incoherent</td><td >incoherent</td><td >0</td><td >55056</td><td >1</td><td >0</td><td >0</td></tr>
<tr><td >00a_p</td><td >1</td><td >incoherent</td><td >incoherent</td><td >47</td><td >347912</td><td >655</td><td >8</td><td >10</td></tr>
<tr><td >00a_p</td><td >2</td><td >incoherent</td><td >incoherent</td><td >15</td><td >679416</td><td >111</td><td >5</td><td >7</td></tr>
<tr><td >00a_p</td><td >3</td><td >incoherent</td><td >incoherent</td><td >0</td><td >348688</td><td >47</td><td >3</td><td >5</td></tr>
<tr><td >01a_n</td><td >0</td><td >coherent</td><td >coherent</td><td >313</td><td >1351432</td><td >2674</td><td >12</td><td >17</td></tr>
<tr><td >01a_p</td><td >0</td><td >incoherent</td><td >incoherent</td><td >0</td><td >73408</td><td >1</td><td >0</td><td >0</td></tr>
<tr><td >02a_n</td><td >0</td><td >coherent</td><td >coherent</td><td >2016</td><td >6048592</td><td >11448</td><td >15</td><td >21</td></tr>
<tr><td >02a_p</td><td >0</td><td >incoherent</td><td >incoherent</td><td >0</td><td >91760</td><td >1</td><td >0</td><td >0</td></tr>
<tr><td >03a_n</td><td >0</td><td colspan=7 class="sup"> TIMEOUT </td></tr>
<tr><td >03a_p</td><td >0</td><td >incoherent</td><td >incoherent</td><td >16</td><td >110336</td><td >1</td><td >0</td><td >0</td></tr>
<tr><td >04a_n</td><td >0</td><td colspan=7 class="sup"> TIMEOUT </td></tr>
<tr><td >04a_p</td><td >0</td><td >incoherent</td><td >incoherent</td><td >0</td><td >128608</td><td >1</td><td >0</td><td >0</td></tr>
<tr><td >05a_n</td><td >0</td><td colspan=7 class="sup"> TIMEOUT </td></tr>
<tr><td >05a_p</td><td >0</td><td >incoherent</td><td >incoherent</td><td >0</td><td >165480</td><td >1</td><td >0</td><td >0</td></tr>
<tr><td >_simple_n</td><td >0</td><td >coherent</td><td >coherent</td><td >375</td><td >1124144</td><td >2074</td><td >22</td><td >29</td></tr>
<tr><td >_simple_p</td><td >0</td><td >incoherent</td><td >incoherent</td><td >0</td><td >91984</td><td >3</td><td >0</td><td >1</td></tr>
</table>

</div>

</body>

</html>
